 |
0 索取号:TP3-55/E906 作者:Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、 出版社:Berlin ; New York : Springer-Verlag, 1984.
|  |
0 索取号:TP3-53/E8012/1 作者:European Computing Congress (1st : 1974 : Brunel University)、Online International Ltd.、Business Equipment Trade Association.、 出版社:Uxbridge : Online (Computer Systems) Ltd., [1974].
|
 |
0 索取号:TP3-53/E8013/2 作者:Berkeley Workshop on Distributed Data Management and Computer Networks (2nd : 1977)、Lawrence Berkeley Laboratory. Computer Science and Applied Mathematics Dept.、 出版社:Berkeley, Cal. : Lawrence Berkeley Laboratory ; Springfield, Va. : reproduced by National Technical Information Service, 1977.
|  |
0 索取号:TP11-53/E906/1986 作者:Workshop on Robotics and Expert Systems (2nd : 1986 : NASA/Johnson Space Center)、Instrument Society of America. Robotics & Expert Systems Division.、Instrument Society of America. Clear Lake--Galveston Section.、Instrument Society of America. District 7.、 出版社:Research Triangle Park, N.C. : Instrument Society of America, 1986?.
|
 |
0 索取号:TP274.23-53/E802/1972 作者:ACM SIGFIDET Workshop (1972 : Denver、 Colo.)、Dean、 A. L. (Albert L.)、Association for Computing Machinery. Special Interest Group on File Description and Translation.、 出版社:New York : Association for Computing Machinery, c1972.
|  |
0 索取号:TP11-53/E802 作者:Joint Workshop on Pattern Recognition and Artificial Intelligence、 Hyannis、 Mass.、 1976.、IEEE Computer Society.、 出版社:Long Beach, CA : The Society, c1976.
|
 |
0 索取号:R742.3/E20041 作者: 出版社:London : Mac Keith : Distributed by Cambridge University Press, 2004.
|  |
0 索取号:D99/E20041 作者: 出版社:Cambridge : Cambridge University Press, c2003-
|
 |
0 索取号:D99/E20043 作者: 出版社:Cambridge ; New York, NY, USA : Grotius Publications, Cambridge University Press, 1994.
|  |
0 索取号:TN91-53/E991/1990 作者:International Professional Communication Conference (1990 : Guildford、 England)、IEEE Professional Communication Society.、 出版社:[New York] : [Institute of Electrical and Electronics Engineers, c1990]
|
 |
0 索取号:G229.50/E20041 作者:Vreese、 Claes Holger de.、 出版社:Amsterdam : Aksant, 2003.
|  |
0 索取号:D829.50/E20041 作者: 出版社:Cambridge ; New York : Cambridge University Press, c2002.
|
 |
0 索取号:R595.4/E20031 作者:Platt、 Jerome J.、 出版社:Cambridge, Mass. : Harvard University Press, 1997.
|  |
0 索取号:TN019.2-53/E802/5 作者:European Microwave Conference、 5th、 Hamburg、 1975.、Schmitt、 H. J.、Nachrichtentechnische Gesellschaft.、 出版社:Sevenoaks : Microwave Exhibitions and Publishers Ltd, [1975].
|
 |
0 索取号:O158-532/E20041/1994 作者:International Workshop on Discrete Mathematics and Algorithms (Guangzhou : December、1994)、Su、 Yunlin(苏运霖)、 出版社:Guangzhou : Jinan University Press, 1994.
|  |
0 索取号:TU311-532/E20043/2001 作者: 出版社:Lisse ; Exton, PA : Balkema, 2002.
|